ecl-act(ds; da; m; x)
== ecl_ind(x;
== ecl_ind(k,test.(L.False);
== ecl_ind(a,b,aa,ab.(L.(aa(L))
== ecl_ind( (L1,L2:event-info(ds;da) List
== ecl_ind( (((L = append(L1; L2))  (ecl-halt(ds; da; a)(0,L1))  (ab(L2)))));
== ecl_ind(a,b,aa,ab.(L.((aa(L))
== ecl_ind( (L':(event-info(ds;da) List), n:.
== ecl_ind( iseg(event-info(ds;da); L'; L)  (ecl-halt(ds; da; b)(n,L'))  (L' = L)))
== ecl_ind( ((ab(L))
== ecl_ind(  (L':(event-info(ds;da) List), n:.
== ecl_ind(  iseg(event-info(ds;da); L'; L)  (ecl-halt(ds; da; a)(n,L'))  (L' = L))));
== ecl_ind(a,b,aa,ab.(L.((aa(L))
== ecl_ind( (L':(event-info(ds;da) List), n:.
== ecl_ind( iseg(event-info(ds;da); L'; L)  (ecl-halt(ds; da; b)(n,L'))  (L' = L)))
== ecl_ind( ((ab(L))
== ecl_ind(  (L':(event-info(ds;da) List), n:.
== ecl_ind(  iseg(event-info(ds;da); L'; L)  (ecl-halt(ds; da; a)(n,L'))  (L' = L))));
== ecl_ind(a,aa.star-append(event-info(ds;da); (ecl-halt(ds; da; a)(0)); aa);
== ecl_ind(a,n,aa.if (m = n) then ecl-halt(ds; da; a)(0) else aa fi ;
== ecl_ind(a,n,aa.aa;
== ecl_ind(a,l,aa.aa) 

latex

---

clarification:

ecl-act(ds; da; m; x)
== ecl_ind(x;
== ecl_ind(k,test.(L.False);
== ecl_ind(a,b,aa,ab.(L.(aa(L))
== ecl_ind( (L1:event-info(ds;da) List
== ecl_ind( (L2:event-info(ds;da) List
== ecl_ind( (((L = append(L1; L2)  (event-info(ds;da) List))
== ecl_ind( ( (ecl-halt(ds; da; a)(0,L1))
== ecl_ind( ( (ab(L2)))));
== ecl_ind(a,b,aa,ab.(L.((aa(L))
== ecl_ind( (L':(event-info(ds;da) List), n:.
== ecl_ind( iseg(event-info(ds;da); L'; L)
== ecl_ind(  (ecl-halt(ds; da; b)(n,L'))
== ecl_ind(  (L' = L  (event-info(ds;da) List))))
== ecl_ind( ((ab(L))
== ecl_ind(  (L':(event-info(ds;da) List), n:.
== ecl_ind(  iseg(event-info(ds;da); L'; L)
== ecl_ind(   (ecl-halt(ds; da; a)(n,L'))
== ecl_ind(   (L' = L  (event-info(ds;da) List)))));
== ecl_ind(a,b,aa,ab.(L.((aa(L))
== ecl_ind( (L':(event-info(ds;da) List), n:.
== ecl_ind( iseg(event-info(ds;da); L'; L)
== ecl_ind(  (ecl-halt(ds; da; b)(n,L'))
== ecl_ind(  (L' = L  (event-info(ds;da) List))))
== ecl_ind( ((ab(L))
== ecl_ind(  (L':(event-info(ds;da) List), n:.
== ecl_ind(  iseg(event-info(ds;da); L'; L)
== ecl_ind(   (ecl-halt(ds; da; a)(n,L'))
== ecl_ind(   (L' = L  (event-info(ds;da) List)))));
== ecl_ind(a,aa.star-append(event-info(ds;da); (ecl-halt(ds; da; a)(0)); aa);
== ecl_ind(a,n,aa.if (m = n) then ecl-halt(ds; da; a)(0) else aa fi ;
== ecl_ind(a,n,aa.aa;
== ecl_ind(a,l,aa.aa) 

latex

Definitions	ecl ind, False, x:A. B(x), append(as; bs), , x.A(x), P  Q, P  Q, x:A. B(x), , iseg(T; l1; l2), P  Q, s = t, type List, star-append(T; P; Q), event-info(ds;da), if b then t else f fi , (i = j), f(a), ecl-halt(ds; da; x), #$n
FDL editor aliases	ecl-act